Nuprl Definition : int_eq def
13,42
postcript
pdf
if
a
=
b
then
c
else
d
is Primitive
latex
Up
core
1
,
core
1
origin